[[Semigroup object]]
# Homomorphism of semigroup objects

Let $M,M'$ be semigroups in $\cat C$.
A **semigroup homomorphism** $f : M \to M'$ is a [[morphism]] in $\cat C$ such that #m/def/cat

![[semigroup-morphism-string.svg#invert|c]]

These form the morphisms in [[Category of semigroup objects]].

#
---
#state/tidy | #lang/en | #SemBr